Notation proposal for modeling tangible user interfaces | IEEE Conference Publication | IEEE Xplore